bitkeeper revision 1.1571 (4296dbdcx0p8kMuQ9I0m0bHZ7K1BuQ)

bitkeeper revision 1.1571 (4296dbdcx0p8kMuQ9I0m0bHZ7K1BuQ)

[PATCH] [PATCH] More accurate address decoding for VMX string

This patch includes two patches. The major patch is the improved address
decoding for ins/outs instructions. In the previous version, segment
overrides were ignored which caused a lot of problems for parts of the
ROMBIOS code where they are used heavily. Address decoding has been
made slightly easier now that GUEST_LINEAR_ADDRESS is documented. We
still need to work around a bug in the current stepping and make sure
that in protected mode the selector is not null.

The second patch removes the ASSERT(cr3). cr3==0 is a perfectly legal
value and Xen should not crash when its read.

Signed-Off-By: Leendert van Doorn <leendert@watson.ibm.com>